Automated proof
[计] 自动验证
🧩 词语组成解析
automated
['ɔ:təmeitid]
adj. 自动化的;
v. 自动化(automate的过去分词);自动操;
proof
[pruf]
n. 证明;校样;检验;（酒的）标准酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 给（织物）做防护处理，使防水（或防火等）;印…的校样;
vi. [印刷术] 校对;发酵;
prob, prov Prob, prov= test, 表示”测试,证明, 检验”
🗣️ 情景例句
We all need one of those.
我们都需要一个这样的领结。
You should have your suit cleaned and ironed.
你应该把你的套装拿去洗烫一下。
I would keep my mind fresh for reading when I got home formwork Resisting the hypnotizing effect of television, I sat in my room for a few evenings with my eyes glued to book.
晚上下班回家看书时头脑更清醒些。有几天晚上，我极力摆脱了电视的诱惑，坐在自己的房间里，两眼盯在书上。